fully ordered groupoid

Математика: линейно упорядоченный группоид